<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--
$Id: package.html 371539 2006-01-23 14:08:00Z tcurdt $
-->
</head>
<body bgcolor="white">

Exception classes used by JustIce, mostly used internally. You don't need to bother with them.

<h2>Package Specification</h2>

Contained in this package are Exception classes for use with the JustIce verifier.

</body>
</html>
